IEEE Security & Privacy

Ieee Symposium on Security and Privacy

S mart-home technology has evolved beyond basic convenience functionality, such as automatically controlled lights and door openers, to provide tangible bene ts. For instance, water ow sensors and smart meters facilitate energy e ciency. IP-enabled cameras, motion sensors, and connected door locks o er be er control of home security. However, a ackers can manipulate smart devices to cause users...

Ieee Symposium on Security and Privacy

The IEEE Symposium on Security and Privacy, in Retrospect

T racing the history of computer security and privacy is a mammoth undertaking, somewhat resembling efforts to combine archaeology and ethnology with a compendium of past and foreseen risks— and how different courses of history might have affected those risks in different ways. (For example, the University of Minnesota’s NSF-funded collection of oral histories from influential people in this ar...

Guest Editor's Introduction: 2005 IEEE Symposium on Security and Privacy

SINCE 1980, the IEEE Symposium on Security and Privacy has been the premier annual forum for the presentation of scientific developments in information security and privacy technology, and for bringing together researchers and practitioners in the field. It is sponsored by the IEEE Computer Society Technical Committee on Security and Privacy, in co-operation with The International Association f...

Security properties and CSP - Security and Privacy, 1996. Proceedings., 1996 IEEE Symposium on

Security properties such as confidentiality and authenticity may be considered in terms of the flow of messages within a network. To the extent that this characterisation is justified, the use of a process algebra such as Communicating Sequential Processes (CSP) seems appropriate to describe and analyse them’. This paper explores ways in which security properties may be described as CSP specifi...